241. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
242. A treatise on induction and probability
پدیدآورنده : Wright, G. H. von )Georg Henrik(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic,، Probabilities
رده :
BC
91
.
W72
243. A treatise on induction and probability /
پدیدآورنده : Geore Henrik von Wright.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.
رده :
BC91
244. A treatise on many-valued logics
پدیدآورنده : Siegfried Gottwald
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Many-valued logic
245. A treatise on many-valued logics
پدیدآورنده : Gottwald, Siegfried.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Many-valued logic
رده :
QA
9
.
45
.
G67
2001
246. A tribute to Prof. Dr. Da Ruan
پدیدآورنده : Jie Lu and Etienne Kerre (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence.,Fuzzy logic.,Ruan, Da.
رده :
QA9
.
64
J545
2013
247. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
248. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده : Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
249. ALPUK 92
پدیدآورنده : Krysia Broda )ed.(.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
250. ALS/AS logic data book
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Handbooks, manuals, etc ، Logic circuits,Handbooks, manuals, etc ، Digital electronics,Handbooks, manuals, etc ، Diodes, Schottky barrier
رده :
TK
7868
.
L6
.
A36
1986
251. AQA Critical thinking AS: Exclusively endorsed by AQA
پدیدآورنده : Butterworth, John
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Critical thinking,، Logic,، Reasoning
رده :
BC
177
.
B77
2008
252. ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies
پدیدآورنده : Mehta, Ashok B
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Microprocessors,، Logic design
رده :
QA
76
.
5
.
A522
2018
253. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
254. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
255. Abductive cognition
پدیدآورنده : / Lorenzo Magnani
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Abduction (Logic),Reasoning.,Science--Philosophy,Wissenschaftstheorie--Kognitiver Prozess--Abduktion --Inferenz ,Kognitive Psychologie.--swd,Schlussfolgern.--swd,Wissenschaftstheorie.--swd,Kognitiver Prozess.--swd,Abduktion --swd,Inferenz --swd
رده :
Q
,
175
.
32
,.
A24
,
M35
,
2009
256. Abductive cognition
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
257. Abductive inference :
پدیدآورنده : edited by John R. Josephson, Susan G. Josephson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abduction (Logic),Inference.,Knowledge, Theory of.,Abduction (Logic),Abduction (logique),Abduktion,Connaissance, Théorie de la.,Inference.,Inférence.,Inferenz,Knowledge, Theory of.,Systèmes experts (informatique)
رده :
BC199
.
A26
J67
1996
258. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
259. Abductive reasoning
پدیدآورنده : Walton, Douglas N., 2491-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Abduction )Logic(,، Reasoning
رده :
BC
199
.
A26W3
260. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
